en hypersequent
― DerivedFrom ⟶
Weight: 1.0
en sequent (n) Source: English Wiktionary